Guarded Actions
نویسنده
چکیده
Guarded actions are changes with preconditions acting as a guard. Guarded action models are multimodal Kripke models with the valuations replaced by guarded actions. Call guarded action logic the result of adding product updates with guarded action models to PDL (propositional dynamic logic). We show that guarded action logic reduces to PDL. keywords Dynamic epistemic logic, logic of communication, logic of change, propositional dynamic logic, program transformation. ACM Classification (1998) E 4, F 4.1, H 1.1.
منابع مشابه
From Synchronous Guarded Actions to SystemC
In this paper, we present an automatic translation from synchronous guarded actions to SystemC. Synchronous guarded actions are often used as intermediate code representation of synchronous languages like Esterel and Quartz. The obtained SystemC modules can be seamlessly integrated into existing simulation environments, e. g. for fast simulation or the generation of virtual hardware prototypes....
متن کاملGuarded Atomic Actions for Haskell
The guarded atomic actions model is a programming model introduced in the Bluespec high-level hardware description language. The model expresses parallel behavior with a high degree of modularity and composability. In this project, we present an implementation of guarded atomic actions as a library for the Haskell software programming language, thus introducing the guarded atomic action model o...
متن کاملUsing Different Representations of Synchronous Systems in SAL
In general, synchronous systems can be represented as a set of so-called synchronous guarded actions (SGAs) that consist of a trigger condition and an atomic action. Whenever the trigger condition holds, i.e., the guarded action is enabled, then the action is immediately executed. While the synchronous semantics demands that all enabled actions have to be executed concurrently within the same v...
متن کاملRepresentation of synchronous, asynchronous, and polychronous components by clocked guarded actions
For the design of embedded systems, many languages are in use, which are based on different models of computation such as event-, data-, and clock-driven paradigms as well as paradigms without a clear notion of time. Systems composed of such heterogeneous components are hard to analyze so that mainly co-simulation by coupling different simulators has been considered so-far. In this article, we ...
متن کاملIndiGolog : Execution of Guarded Action
IndiGolog: Execution of Guarded Action Theories Sebastian Sardiña Master of Science Graduate Department of Computer Science University of Toronto 2000 In AI, the problem of selecting (high-level) actions in dynamic and not completely predictable environments translates into the problem of designing controllers that can map sequence of observations into actions so that certain goals are achieved...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004